Buy Used and New Martin Wirsing Books

Results for Martin Wirsing

Showing 13 to 16 of 16 results
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing


ISBN 13: 9781441920140

Format: Paperback (432 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later

 
New : $152.05  
New : $152.05